Skip to content

Conversation

r-arek
Copy link
Contributor

@r-arek r-arek commented Feb 21, 2020

This has to be merged before moving repo to travis-infrastructure
@cesar-cs please look if this is reflecting current state of workers after recent upgrade?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant